Failed to solve the following constraints:
  Is empty: x ≡ y
      [ at Issue835.agda:12,3-5 ]
